|
|
High performance computing and applications : , International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009 : revised selected papers /
Publication:
New York : Springer, 2010
. xv, 589 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Reliability Assessment with OR Applications
by Kapur, P.K.
Publication:
. XXIV, 548 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ada 2012 Reference Manual. Language and Standard Libraries
by Taft, S. Tucker.
Publication:
. XXVIII, 921 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Parallel Processing Technologies
by Wu, Chenggang.
Publication:
. XII, 410 p. 187 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ada 2012 Rationale
by Barnes, John.
Publication:
. XI, 213 p. 3 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering for Resilient Systems
by Gorbenko, Anatoliy.
Publication:
. X, 199 p. 87 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2013 Parallel Processing
by Wolf, Felix.
Publication:
. XXVIII, 890 p. 314 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Computing Technologies
by Malyshkin, Victor.
Publication:
. XVI, 444 p. 183 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multicore Software Engineering, Performance, and Tools
by Lourenço, João M.
Publication:
. X, 111 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Supercomputing
by Kunkel, Julian Martin.
Publication:
. XII, 477 p. 210 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination Models and Languages
by Nicola, Rocco.
Publication:
. XIV, 251 p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NASA Formal Methods
by Brat, Guillaume.
Publication:
. XXIV, 486 p. 164 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Languages and Compilers for Parallel Computing
by Kasahara, Hironori.
Publication:
. XII, 276 p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Compiler Construction
by Jhala, Ranjit.
Publication:
. XVIII, 265 p. 96 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
by Clarke, Dave.
Publication:
. VIII, 515 p. 134 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Architecture of Computing Systems – ARCS 2013
by Kubátová, Hana.
Publication:
. XIV, 354 p. 146 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Assurances for Self-Adaptive Systems
by Cámara, Javier.
Publication:
. X, 341 p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Components and Objects
by Beckert, Bernhard.
Publication:
. X, 356 p. 129 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Job Scheduling Strategies for Parallel Processing
by Cirne, Walfredo.
Publication:
. X, 273 p. 112 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Network and Parallel Computing
by Park, James J.
Publication:
. XX, 647 p. 253 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|